#include<stdint.h>

extern void abort();
int main(void) {
            int16_t i16_max = INT16_MAX;
        volatile int8_t v_i8 = 12;
        int32_t i32_min = INT32_MIN;
        uint8_t u8_1 = 1U;
        int32_t res = -14;

    res = (((i16_max <= v_i8) + i32_min) ^ u8_1);

    if (res != -2147483647) {
        abort();
    }
    return 0;
}
